| Model: | nand v.1 (DTMC) |
| Parameter(s) | N = 40, K = 4 |
| Property: | reliable (prob-reach) |
./pet.sh reachability --precision 0.001 --relative-error --only-result -m nand.prism -p nand.props --property reliable --const N=40,K=4
| Walltime: | 600.1608545780182s |
| Return code: | 130 |